您要查找的是不是：
- K.L. McMillan. Symbolic Model Checking: an approach to the State explosion problem. 邵明;李光辉;李晓维.;模型检验中迁移关系的分组策略
- This paper presents a common method of verifying the winning strategy of games with symbolic model checking，and gives a case study of Tic-Tac-Toe. 给出了使用符号化模型检测来验证对弈必胜策略的一般方法，并给出了一个井字棋必胜策略验证的实例。
- This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker. 结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
- The play’s symbolism jarred with the realism of its setting. 该剧的象征主义与其舞台背景的现实主义不协调。
- After a bandpass filter, QDPSK signal’s symbol can be divided into steady section and transition section, so the demodulation and synchronization for the signal can be realized with DFT. 经过限带滤波后的QDPSK信号的码元波形可分为稳定区与过渡区，根据这一特点可以利用DFT方法来实现信号的解调和位同步。
- Through building a common GIS map symbol system, it makes GIS data’s symbolization independent from GIS inside ones, and realizes the sharing of CMSL. (2) CMSE. 不依附于现有的任何GIS平台，研究、设计与开发出一个系统稳定、功能完善的通用地图符号编辑器，有效地实现对通用地图符号库的操作和管理。
- Symbolic Model Checking the SET Protocol SET协议支付过程的符号模型检验
- Bruner's symbolic model 布鲁纳象征性模式
- Verification of PIC Based on Symbolic Model Checking 基于符号模型检验的硬件验证
- Symbolic model checking analysis for cryptographic protocol 密码协议的符号模型检测及分析
- SYMBOLIC MODEL CHECKING OF DISCRETE DURATION CALCULUS 离散时段演算的符号模型验证
- They spend the winter(s) in a warmer climate. 他们在气候较暖的地方过冬。
- The Symbol Model and Bible Allusion on the Sound and the Fury 论《喧哗与骚动》的象征模式和圣经隐喻
- Most plural nouns in English end in "s". 英语的复数名词多以“s”结尾。
- The sweater had shrunk after repeated washing(s). 这件套头毛衣洗过多次已缩水了。
- Some old folk(s) have peculiar tastes. 有些老人有特殊的爱好。
- Answer the following question(s). 回答下列问题。
- Most plural nouns in English end in s'. 英语的复数名词多以s结尾。
- The drug affects one's power(s) of concentration. 这种药影响人精神不能集中。
- Bruner,J.S.The Process of Education [M]. 刘润清.;论大学英语教学[M]
